mini-os: use unbind_evtchn in unbind_all_ports
authorThomas Leonard <talex5@gmail.com>
Thu, 26 Jun 2014 11:28:21 +0000 (12:28 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 27 Jun 2014 12:38:34 +0000 (13:38 +0100)
commit18b4aee830c3c39d29c119308faaad8c6b536df7
tree091b1af4dbbaab2ff522bd62b5e0ff89ecff0d1c
parent549a29fcd81ff10783e6c9bce93255218fed79fb
mini-os: use unbind_evtchn in unbind_all_ports

This marks the channel as closed, in case someone tries to use it again.

Signed-off-by: Thomas Leonard <talex5@gmail.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
extras/mini-os/events.c